VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings: 252 (Lecture Notes in Computer Science)
by Cliff Jones,Dines Bjorner,Erich J. Neuhold,Michael Mac An Airchinnigh
ISBN 13: 9783540176541
Format: Paperback (436 pages) Publisher: Springer Published: 11 Mar 1987
Save for later